Using the method of prime implicants, an optimum Boolean model is derived which emulates the properties of a thyristor. The model is primarily intended for use in the computer-aided design of thyristor systems, but could also find application in analogue simulation.