The purpose of this tutorial paper is to make general type-2 fuzzy logic systems (GT2 FLSs) more accessible to fuzzy logic researchers and practitioners, and to expedite their research, designs, and use. To accomplish this, the paper 1) explains four different mathematical representations for general type-2 fuzzy sets (GT2 FSs); 2) demonstrates that for the optimal design of a GT2 FLS, one should use the vertical-slice representation of its GT2 FSs because it is the only one of the four mathematical representations that is parsimonious; 3) shows how to obtain set theoretic and other operations for GT2 FSs using type-1 (T1) FS mathematics (alpha - cuts play a central role); 4) reviews Mamdani and TSK interval type-2 (IT2) FLSs so that their mathematical operations can be easily used in a GT2 FLS; 5) provides all of the formulas that describe both Mamdani and TSK GT2 FLSs; 6) explains why center-of sets type-reduction should be favored for a GT2 FLS over centroid type-reduction; 7) provides three simplified GT2 FLSs (two are for Mamdani GT2 FLSs and one is for a TSKGT2 FLS), all of which bypass type reduction and are generalizations from their IT2 FLS counterparts to GT2 FLSs; 8) explains why gradient-based optimization should not be used to optimally design a GT2 FLS; 9) explains how derivative-free optimization algorithms can be used to optimally design a GT2 FLS; and 10) provides a three-step approach for optimally designing FLSs in a progressive manner, from T1 to IT2 to GT2, each of which uses a quantum particle swarm optimization algorithm, by virtue of which the performance for the IT2 FLS cannot be worse than that of the T1 FLS, and the performance for the GT2 FLS cannot be worse than that of the IT2 FLS.