On the Semi-Optimization of Normal Probability

Yeah, this is normal alright.

Original Manual

For three stages, calculate the probability of the event on the top display, and enter it into the module.

Each event is an inequality involving a variable 𝐙. 𝐙 is a random variable (with a Normal frequency density, mean 0 and variance 1). The function tabulated on the next page is 𝚽(𝐳), which is the probability that 𝐙 < 𝐳.

Using the Table

If 𝐳 has one or two decimal places:

𝚽(𝐳) = the intersection between the ones / tenths and hundredths digits, on the left side of the table. Ignore the (ADD) column.

If 𝐳 has three decimal places:

Find the intersection between the ones / tenths and hundredths digits, on the left side of the table. Also find the intersection between the ones / tenths and thousandths digits in the (ADD) column, and multiply it by 0.0001.
𝚽(𝐳) = the sum of these two numbers.


Some events in later stages may have greater-than signs, or negative values of 𝐳, etc. A list of these cases are found here:

  • 𝐙 > 𝐳 OR 𝐙 < -𝐳: The probability is 1.0000 - 𝚽(𝐳).
  • 𝐙 > -𝐳: The probability is 𝚽(𝐳). Treat this like 𝐙 < 𝐳.
  • 𝐳1 < 𝐙 < 𝐳2: You will need to calculate for two probabilities in this case. Start with calculating 𝐙 < 𝐳2 (𝚽(𝐳2)), then 𝐙 < 𝐳1 (𝚽(𝐳1)), using the above cases if necessary. Subtract the result of the second from the first to get this probability.
    TLDR: 𝐳1 < 𝐙 < 𝐳2 = 𝚽(𝐳2) - 𝚽(𝐳1)

Do not use a calculator for this module. Answers given by the table may be slightly different to those found with a calculator, and the module will only accept the former.

Appendix N: Table of 𝚽(𝐳)

𝐳 (ADD)
0.000.010.020.030.040.050.060.070.080.09 123456789
0.0 0.50000.50400.50800.51200.51600.51990.52390.52790.53190.5359 4812162024283236
0.1 0.53980.54380.54780.55170.55570.55960.56360.56750.57140.5753 4812162024283236
0.2 0.57930.58320.58710.59100.59480.59870.60260.60640.61030.6141 4812151923273135
0.3 0.61790.62170.62550.62930.63310.63680.64060.64430.64800.6517 4811151923263034
0.4 0.65540.65910.66280.66640.67000.67360.67720.68080.68440.6879 4711141822252932
0.5 0.69150.69500.69850.70190.70540.70880.71230.71570.71900.7224 3710141721242731
0.6 0.72570.72910.73240.73570.73890.74220.74540.74860.75170.7549 3610131619232629
0.7 0.75800.76110.76420.76730.77040.77340.77640.77940.78230.7852 369121518212427
0.8 0.78810.79100.79390.79670.79950.80230.80510.80780.81060.8133 368111417192225
0.9 0.81590.81860.82120.82380.82640.82890.83150.83400.83650.8389 358101315182023
1.0 0.84130.84380.84610.84850.85080.85310.85540.85770.85990.8621 25791214161821
1.1 0.86430.86650.86860.87080.87290.87490.87700.87900.88100.8830 24681012141619
1.2 0.88490.88690.88880.89070.89250.89440.89620.89800.89970.9015 2467911131516
1.3 0.90320.90490.90660.90820.90990.91150.91310.91470.91620.9177 2356810111314
1.4 0.91920.92070.92220.92360.92510.92650.92790.92920.93060.9319 134678101113
1.5 0.93320.93450.93570.93700.93820.93940.94060.94180.94290.9441 12456781011
1.6 0.94520.94630.94740.94840.94950.95050.95150.95250.95350.9545 123456789
1.7 0.95540.95640.95730.95820.95910.95990.96080.96160.96250.9633 123345678
1.8 0.96410.96490.96560.96640.96710.96780.96860.96930.96990.9706 112344566
1.9 0.97130.97190.97260.97320.97380.97440.97500.97560.97610.9767 112234455
2.0 0.97720.97780.97830.97880.97930.97980.98030.98080.98120.9817 011223344
2.1 0.98210.98260.98300.98340.98380.98420.98460.98500.98540.9857 011222334
2.2 0.98610.98640.98680.98710.98750.98780.98810.98840.98870.9890 011122233
2.3 0.98930.98960.98980.99010.99040.99060.99090.99110.99130.9916 011112222
2.4 0.99180.99200.99220.99250.99270.99290.99310.99320.99340.9936 001111122
2.5 0.99380.99400.99410.99430.99450.99460.99480.99490.99510.9952 000111111
2.6 0.99530.99550.99560.99570.99590.99600.99610.99620.99630.9964 000011111
2.7 0.99650.99660.99670.99680.99690.99700.99710.99720.99730.9974 000001111
2.8 0.99740.99750.99760.99770.99770.99780.99790.99790.99800.9981 000000011
2.9 0.99810.99820.99820.99830.99840.99840.99850.99850.99860.9986 000000000
3.0 0.99870.99870.99870.99880.99880.99890.99890.99890.99900.9990 000000000